(gettimeofday): If system doesn't have this, define it to give a fatal error.

diff --git a/lib-src/profile.c b/lib-src/profile.c
index b204e13c20fb171c76c714e6ad910433163a4a90..523659c5586b1a755341197268f73317d724a182 100644 (file)
--- a/lib-src/profile.c
+++ b/lib-src/profile.c
@@ -38,6 +38,14 @@ static struct timezone *tzp = (struct timezone *) NULL; /* no need timezone */
 static int watch_not_started = 1; /* flag */
 static char time_string[30];
 
+#ifndef HAVE_GETTIMEOFDAY
+gettimeofday ()
+{
+  fprintf (stderr, "profile: this system does not support gettimeofday\n");
+  exit (1);
+}
+#endif
+
 /* Reset the stopwatch to zero.  */
 
 int